Formalization in Practice*

نویسندگان

  • Lars Mathiassen
  • Andreas Munk-Madsen
چکیده

Formalizations are used in systems development to support the description of artifacts and to shape and regulate developer behavior. The limits to applying formalizations in these two ways are discussed based on examples from systems development practice. It is argued that formalizations, for example in the form of methods, are valuable in some situations, but inappropriate in others. The alternative to uncritically using formalizations is that systems developers reflect on the situations in which they find themselves and manage based on a combination of formal and informal approaches.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A parallel guideline development and formalization strategy to improve the quality of clinical practice guidelines

PURPOSE Clinical practice guidelines often contain ambiguities, inconsistencies, and logical errors that hamper implementation of these guidelines in practice. As guideline formalization is useful to verify the logical structure, consistency, and completeness of guidelines, several authors have argued that the formalization of guidelines concurrent with their development may improve their quali...

متن کامل

Formalization of Clinical Practice Guidelines

Clinical practice guidelines are textual recommendations based on the consensus of medical experts with the aim to solve diagnostic and therapeutic problems. For more advanced use in real medical applications it is necessary to find out mathematical models of physicians' decision-making processes. The acquisition of a formal model from text-based guidelines is a crucial point for development of...

متن کامل

The relationship between structure and performance organizational from emergency staff viewpoints

Background and Purpose: This study aimed to evaluate the relationship between organizational structure and organizational performance from the perspective of the staff of 115 emergency departments of Mazandaran province, Iran. Materials and Methods: In this study, data were collected from the emergency personnel of different hospitals of Mazandaran province, Iran in 2014. Moreover, data ...

متن کامل

بررسی ابعاد ساختارسازمانی در بیمارستان های عمومی شهرستان یزد با رویکرد مکانیک –

 Background: The first important issue underlying any organization is its structure. Among structural factors, complexity, formalization and centralization are more important than others and are considered as main factors. The main purpose of this research is determining structural factors(compelexity, formalization and centralization ) and the preferred structure with a mechanic and organic ap...

متن کامل

Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq

Moessner’s Theorem describes a construction of the sequence of powers (1, 2, 3, . . . ), by repeatedly dropping and summing elements from the sequence of positive natural numbers. The theorem was presented by Moessner in 1951 without a proof and later proved and generalized in several directions. More recently, a coinductive proof of the original theorem was given by Niqui and Rutten. We presen...

متن کامل

Clinical Practice Guidelines Formalization for Personalized Medicine

Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables and figures. Transforming them into a formal, computer-processable representation is a difficult task requiring both computer scientist skills and medical knowledge. In this paper the authors describe a CDSS designed to assist ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999